#enforcement de tipos